161. Formal development of programs and proofs

پدیدآورنده:

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع: ، Electronic digital computers- Programming- Congresses

رده :
QA
76
.
6
.
F657
1990

162. Formal language description languages for computer programming; proceedings

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع: Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
I17
1964

163. Formal language description languages for computer programming; proceedings

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(-- Congresses

رده :
QA
76
.
I17
1964

164. Formal semantics of Programming languages

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(-- Semantics-- Congresses

رده :
QA
76
.
7
.
C68
1970

165. Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic digital computers-- Programming-- Congresses

رده :
QA
76
.
6
.
F66

166. Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: Congresses ، Electronic digital computers - Programming

رده :
QA
76
.
L4
v
.
107

167. Foundations of object-oriented languages : REX School/Workshop Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : Proceedings

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Object-oriented programming )Computer science(,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
489

168. Foundations of object-oriented languages: REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990: Proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Object-oriented programming )Computer science(-- Congresses,، Programming languages )Electronic computers(-- Congresses

رده :
QA
76
.
64
.
R49
1990

169. Foundations of software technology and theoretical computer science

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science, Congresses.,Computer software, Congresses.,Evolutionary programming (Computer science), Congresses.,Molecular computers, Congresses.,Quantum computers, Congresses.

170. Foundations of software technology and theoretical computer science : Eighth Conference, Pune, India. December 21-23, 1988 : Proceedings

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Computer software,Programming -- Congresses ، Electronic digital computers

رده :
QA
76
.
L28
Vol
.
338

171. Foundations of software technology and theoretical computer science, Fifth Conference, New Delhi, India, Dec. 1985: Proceedings

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: Congresses ، Software engineering,Congresses ، Computer software,، Programming )Electronic computers(

رده :
QA
76
.
L4
v
.
206

172. Foundations of software technology and theoretical computer science: fourth conference, Banglore, India, Dec. 13-15, 1984, proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming )Electronic computers(-- Congresses,، Computers-- Congresses

رده :
QA
76
.
6
.
F686
1984

173. Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic digital computers-- Programming-- Congresses,، Functional programming )Computer science(-- Congresses,، Parallel programming )Computer science(-- Congresses,، Automatic theorem proving-- Congresses,، Computer simulation-- Congresses

رده :
QA
76
.
6
.
F853
1993

174. Fundamental algorithms for computer graphics

پدیدآورنده:

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع: ، Electronic digital computers- Programming- Congresses,، Computer algorithms- Congresses,، Computer graphics- Congresses

رده :
QA
76
.
6
.
N379
1985

175. Fundamental algorithms for computer graphics

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic digital computers-- Programming-- Congresses,، Computer algorithms-- Congresses,، Computer graphics-- Congresses

رده :
QA
76
.
6
.
N379
1985

176. GI 3. Fachtagung uber programmiersprachen Kiel, 5-7, Marz, 1974

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
7

177. GI-NTG Fachtagung struktur und Betrieb von Recheusystemen, Braunschweig 20-22. 3. 1974 im Auftrag der GI und der NTG

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic digital computers-- Programming-- Congresses,، Electronic digital computers-- Evaluation-- Congresses

رده :
QA
76
.
6
.
G18
1974

178. GI-NTG : fachtagung struktur und betrieb von Rechensystemen : Braunschweig, 20-22, 3, 1974

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Computer programming,Evaluations -- Congresses ، Electronic digital computers

رده :
QA
76
.
L28
Vol
.
8

179. Generalized quantifiers and computation

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.

180. Graphic languages. Proceedings

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Computer graphics-- Congresses,، Programming languages )Electronic computers(-- Congresses

رده :
T
385
.
I25
1972